...性 ， 代入规则 ， 全称概括规则 ， 必然化规则 [gap=12348]Keywords: completeness; soundness; the rule of substitution; generalization rule; necessitation ...
基于152个网页-相关网页
重言式的代入原理(rule of substitution) 将重言式A中的某个命题变元p的所有出现都代换为命题公式B，得到的命题公式记作A(B/p)，A(B/p)也是重言式。
基于14个网页-相关网页
rule of uniform substitution 统一代换律
rule of definitional substitution 界说代换律
rule of simultaneous substitution [数] 同时代入规则
If these characters are introduced, the user gets an error -20412, which corresponds to the XML white paper rule that serialization of an XML value must not inject a substitution character.
如果引入了这些字符，那么用户会收到一个错误- 20412，这与XML白皮书中的一条规则相符，即xml值的串行化不能引入替换字符。
The rule reflects the fact that the majority of transferred credits involve a substitution of documents.
本规则反映了大多数已转让信用证所涉及的替换单据的情况。
We will be able to integrate the remaining four trig functions in a couple of sections, but they all require the Substitution Rule.
我们将能够整合在一个两节的其余四个触发功能，但它们都需要换人规则。
应用推荐